- 双语例句 更多例句
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
互联网摘选
- 相关词组
- under lock and key将…加以严密保管, 把…锁住, 被囚禁;妥善存放;
- combination lockn.号码锁;
- ball lock球形闸门;
- lock into受困于;
- lock a file封锁文件;
- lock away把…锁起来;
- lock in将…锁[包围]在里面;使固定;
- double leg lock[体]抱单腿拦腿摔;
- lock onv.用雷达自动跟踪;
- basin lock池形船闸;
- lock horns卷入矛盾冲突;争论不休;
- lock up将…锁住[关押];关禁闭;钤;关;
- lock block闩块;
- grid lock网格锁定
- lock out把…关在外边,不准(某人)进入…;赶出家门;
- dead lock[体]难解难分;
- switch lock开关锁,道岔锁闭器;
- air lockn.阻隔室,气塞;锁气室;
- point lock点锁
- lock oneself inv.闭门谢客;
- 今日热词
- 热门搜索
- collections n.收集( collection的名词复数 );收藏品;作品集;募集的款项;
- kiss the rain 雨的印记;雨中印记;轻音乐;好听的钢琴曲
- The Outlaws 亡命之徒
- archaeopteryx n.始祖鸟;
- ego n.自我;自负;自尊心;自我意识;
- grandma n.奶奶,外婆;
- simply adv.仅仅;简朴地;
- meal n.餐,饭;进餐(时间);〈英〉一次挤奶量;谷物粗粉(用作饲料或加工面粉);
- computer n.计算机,电脑;
- excitement n.兴奋;激动;刺激;令人激动(或兴奋)的事
- whom pron.谁(who的宾格);
- reduction n.减少;降低;折扣;还原;缩图;

